cf 2 Semantics Revisited 1
نویسنده
چکیده
Abstract argumentation frameworks nowadays provide the most popular formalization of argumentation on a conceptual level. Numerous semantics for this paradigm have been proposed, whereby cf2 semantics has shown to nicely solve particular problems concernend with odd-length cycles in such frameworks. In order to compare different semantics not only on a theoretical basis, it is necessary to provide systems which implement them within a uniform platform. Answer-Set Programming (ASP) turned out to be a promising direction for this aim, since it not only allows for a concise representation of concepts inherent to argumentation semantics, but also offers sophisticated off-the-shelves solvers which can be used as core computation engines. In fact, many argumentation semantics have meanwhile been encoded within the ASP paradigm, but not all relevant semantics, among them cf2 semantics, have yet been considered. The contributions of this work are thus twofold. Due to the particular nature of cf2 semantics, we first provide an alternative characterization which, roughly speaking, avoids the recursive computation of sub-frameworks. Then, we provide the concrete ASP-encodings, which are incorporated within the ASPARTIX system, a platform which already implements a wide range of semantics for abstract argumentation.
منابع مشابه
Modeling Control Flow in WS-BPEL with Chu Spaces
This paper presents a Chu spaces semantics of typical control flow of WS-BPEL including fault handling and link semantics. BPEL-CF is proposed as a simplification of this subset of WS-BPEL. For the compositional modeling of BPEL, the authors present a Chu spaces process algebra. This algebra allows faults to be thrown at any point of execution and take link-based synchronization into considerat...
متن کاملHierarchical Wave Functions Revisited
The trial wave function of the fractional quantum Hall effect (FQHE) on a disk at filling ν = 1/m with m an old integer is given by the famous Laughlin wave function [1]. Laughlin wave function had been constructed on a spheric or a toric surface later in refs. [2, 3]. When ν 6= 1/m, there are several proposals for constructing the trial wave function, notably Halperin’s hierarchical wave funct...
متن کاملSampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited
CONSTRAINT PROGRAMS REVISITED
متن کاملPalaiseau Weakest Precondition Calculus , Revisited using Why 3
This report has two objectives. First, we present an original method of proof of soundness of a weakest precondition calculus, based on the notion of blocking semantics. The method mimics, at the level of logic specifications, the classical proof of type soundness. Moreover, the proof is performed formally using the Why3 environment for deductive verification, and we illustrate, along the devel...
متن کامل